Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...
اقرأ المزيدConstitutes the proceedings of the Third International XML Database Symposium, XSym 2005, held in Trondheim, Norway in August ...
اقرأ المزيدIn this book contributors investigate parallel and distributed techniques, algorithms, models and applications; present innovative ...
اقرأ المزيدYou’ll learn how to write effective, modern Python 3 code by leveraging its best ideas. Don’t waste time bending Python ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, ...
اقرأ المزيدPart I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...
اقرأ المزيدThis comprehensive examination of the main approaches to object-oriented language explains the key features of the languages ...
اقرأ المزيدObject-Oriented Programming and Java presents two important topics in contemporary software development: object-oriented ...
اقرأ المزيدThis paper is focussed on a principled way to combine the two dominant paradigms for building multiagent team plans, namely ...
اقرأ المزيدThe aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to ...
اقرأ المزيدThis Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
اقرأ المزيدConstitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
اقرأ المزيدThis book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...
اقرأ المزيدThe use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
اقرأ المزيد